| 1. Identity statement | ||||
| Reference Type | Conference Paper (Conference Proceedings) | |||
| Site | mtc-m21d.sid.inpe.br | |||
| Holder Code | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S | |||
| Identifier | 8JMKD3MGP3W34T/48JSHAP | |||
| Repository | sid.inpe.br/mtc-m21d/2023/02.23.12.44 (restricted access) | |||
| Last Update | 2023:02.23.12.44.37 (UTC) simone | |||
| Metadata Repository | sid.inpe.br/mtc-m21d/2023/02.23.12.44.37 | |||
| Metadata Last Update | 2023:03.28.07.29.10 (UTC) administrator | |||
| Secondary Key | INPE--PRE/ | |||
| DOI | 10.1109/PRDC55274.2022.00022 | |||
| ISBN | 978-166548555-5 | |||
| ISSN | 15410110 | |||
| Citation Key | PaivaLimCarMatMad:2022:EnSoDe | |||
| Title | Enhanced software development process for CubeSats to cope with space radiation faults  | |||
| Format | On-line | |||
| Year | 2022 | |||
| Access Date | 2024, May 16 | |||
| Secondary Type | PRE CI | |||
| Number of Files | 1 | |||
| Size | 1771 KiB | |||
| 2. Context | ||||
| Author | 1 Paiva, David 2 Lima, Raffael Sadite Cordoville Gomes de 3 Carvalho, Manoel Jozeane Mafra de 4 Mattiello-Francisco, Maria de Fátima 5 Madeira, Henrique | |||
| Resume Identifier | 1 2 3 8JMKD3MGP5W/3C9JHNP 4 8JMKD3MGP5W/3C9JHR8 | |||
| Group | 1 2 COENE-CGGO-INPE-MCTI-GOV-BR 3 COENE-CGGO-INPE-MCTI-GOV-BR 4 COEPE-COEPE-INPE-MCTI-GOV-BR | |||
| Affiliation | 1 University of Coimbra 2 Instituto Nacional de Pesquisas Espaciais (INPE) 3 Instituto Nacional de Pesquisas Espaciais (INPE) 4 Instituto Nacional de Pesquisas Espaciais (INPE) 5 University of Coimbra | |||
| Author e-Mail Address | 1 davidpaiva.uc@gmail.com 2 raffael.sadite@inpe.br 3 manoel.j.m.carvalho@gmail.com 4 fatima.mattiello@inpe.br 5 henrique@dei.uc.pt | |||
| Conference Name | IEEE Pacific Rim International Symposium on Dependable Computing, 27 | |||
| Conference Location | Online | |||
| Date | 28 Nov. - 02 Dec. 2022 | |||
| Publisher | IEEE | |||
| Pages | 78-88 | |||
| Book Title | Proceedings | |||
| History (UTC) | 2023-02-23 12:46:07 :: simone -> administrator :: 2022 2023-03-28 07:29:10 :: administrator -> simone :: 2022 | |||
| 3. Content and structure | ||||
| Is the master or a copy? | is the master | |||
| Content Stage | completed | |||
| Transferable | 1 | |||
| Content Type | External Contribution | |||
| Version Type | publisher | |||
| Keywords | COTS CubeSats fault injection soft errors software development software fault tolerance techniques verification and validation | |||
| Abstract | CubeSats are an established trend in the space industry. The CubeSat standard opens opportunities for rapid and low-cost access to space. The use of COTS components instead of space-hardened hardware greatly reduces the cost of CubeSat-based missions and provides the additional benefit of increasing software functionalities at a low power consumption. However, COTS components are not designed for the space environment, making CubeSats sensitive to space radiation. This means that CubeSats need additional software mechanisms to guarantee resilient behavior in the presence of space radiation. Our proposal is that such software implemented fault tolerance mechanisms must be tailored to the specific code running in each CubeSat and the logical way to achieve that is to extend the software development process for CubeSats to include the systematic resilience evaluation of software as part of the CubeSats software lifecycle process. This paper proposes a set of structured steps to enhance the classic software development process used in CubeSats, focusing particularly on the Verification and Validation (V&V) phase. The approach uses fault injection as an integral part of the development environment for CubeSats software and includes three major steps: a) sensitivity evaluation (verification) of software in the presence of faults caused by space radiation, b) strengthen of the software with targeted software implemented fault tolerance (SWIFT) mechanisms and c) validation of the effectiveness of the SWIFT mechanisms to confirm that the software is immune to space radiation faults. These added steps to the V&V process must be carried out during software development, as well as every time the CubeSat software has an update, or even a minor change, to ensure that the impact of faults caused by space radiation is tolerated by the CubeSat software. The paper demonstrates the proposed approach using three different embedded software running in the EDC (Environment Data Collection) CubeSat board, which is part (payload) of a constellation of satellites being developed by the Brazilian National Institute for Space Research (INPE). EDC use case provides a realistic insight on the effectiveness of the proposed steps. Our results show that the proposed approach can reduce the percentage of silent data corruption (the most problematic failure mode) from the range of 15% to less than 1% and even to 0% in some embedded software, meaning that the CubeSat software becomes immune to space radiation. | |||
| Area | ETES | |||
| Arrangement 1 | urlib.net > BDMCI > Fonds > Produção a partir de 2021 > CGGO > Enhanced software development... | |||
| Arrangement 2 | urlib.net > BDMCI > Fonds > Produção a partir de 2021 > COEPE > Enhanced software development... | |||
| doc Directory Content | access | |||
| source Directory Content | there are no files | |||
| agreement Directory Content |
| |||
| 4. Conditions of access and use | ||||
| Language | en | |||
| Target File | Enhanced_software_development_process_for_CubeSats_to_cope_with_space_radiation_faults.pdf | |||
| User Group | simone | |||
| Reader Group | administrator simone | |||
| Visibility | shown | |||
| Read Permission | deny from all and allow from 150.163 | |||
| Update Permission | not transferred | |||
| 5. Allied materials | ||||
| Mirror Repository | urlib.net/www/2021/06.04.03.40.25 | |||
| Next Higher Units | 8JMKD3MGPCW/46KUBT5 8JMKD3MGPCW/46L2EES | |||
| Citing Item List | sid.inpe.br/bibdigital/2022/04.03.22.35 8 sid.inpe.br/bibdigital/2022/04.04.04.34 7 sid.inpe.br/mtc-m21/2012/07.13.14.54.30 2 | |||
| Host Collection | urlib.net/www/2021/06.04.03.40 | |||
| 6. Notes | ||||
| Empty Fields | archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel dissemination e-mailaddress edition editor label lineage mark nextedition notes numberofvolumes orcid organization parameterlist parentrepositories previousedition previouslowerunit progress project publisheraddress rightsholder schedulinginformation secondarydate secondarymark serieseditor session shorttitle sponsor subject tertiarymark tertiarytype type url volume | |||
| 7. Description control | ||||
| e-Mail (login) | simone | |||
| update | ||||